|
|
|
| e-Pub |
Previous | 
Home
Section: Partnerships and Cooperations
Regional Initiatives
DIM/LSC TECSTES - 2011-052D
In this DIGITEO project (No. 6024), Hernán Ponce de Léon, Delphine Longuet (ParisSud) and Stefan Haar cooperate on the subject of conformance testing for concurrent systems, using Event Structures. The project started on September 1, 2011 and is scheduled to end on August 31, 2014.
LOCOREP
In the DIGITEO project LoCoReP (No. 2010-043D), Aiswarya Cyriac, Paul Gastin, and Benedikt Bollig worked on temporal logics for the specification and verification of concurrent recursive programs. The project started on September 1, 2010 and ended on August 31, 2013.